1. A first course in logic :an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn.
Library: Library of Mofid University (Qom)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA9
.
H36
2004
2. A first course in logic : an introduction to model theory, proof theory, computability, and complexity
Author: Hedman, Shawn
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic,، Logic, Symbolic and mathematical
Classification :
QA
9
.
H43F5
3. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, P. B. )Peter Bruce(
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
2002
4. An introduction to mathematical logic and type theory : to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
1986
5. An introduction to mathematical logic and type theory. to truth through proof
Author: Andrews, P. B.)Peter Bruce(,7391-, Peter B. Andrews
Library: Library and Documentation Center of Kurdistan University (Kurdistan)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
6. An introduction to mathematical logic and type theory: to truth through proof
Author: Andrews, Peter Bruce
Library: Central Library and Documents Center of Industrial University of Khaje Nasiredin Toosi (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Type theory
Classification :
QA
9
.
A638
7. Computation and proof theory : Proceedings of the Logic Colloquium held in Aachen, July 18-23, 1983 part II
Author: edited by M. M. Richter ... ]et al.[
Library: Library of College of Science University of Tehran (Tehran)
Subject: Congresses ، Computational complexity,Congresses ، Proof theory
Classification :
QA
9
.
59
.
C65
1983
8. Computation and proof theory; proceedings of the logic colloquium held in Aachen, July 18-23, 1983
Author: edite by M. M. Richter, ... ]et al.[
Library: Central Library and Documentation Center (Kerman)
Subject: Congresses ، Proof theory
Classification :
QA
1
.
L4
v
.
1104
9. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic, August 1993 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Automatic theorem proving-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
76
.
9
.
A96
.
K87
1993
10. Computational logic and proof theory : Third Kurt Godel Colloquium, KGC'93, Brno, Czech Republic : proceedings
Author: Georg Gottlob, Alexander Leitscch, Daniele Mundici, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
713
11. Computational logic and proof theory : 5th Kurt Godel Colloquium, KGC'97, Vienna, Austria, August 25-29, 1997 : proceedings
Author: Georg Gottlob, Alexander Leitsch, Daniele Mundici )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Automatic theorem proving,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1289
12. Hybrid Logic and its Proof-Theory
Author: / by Torben Braeuner
Library: Library of Foreign Languages and Islamic Sources (Qom)
Subject: Proof theory,Logic, Symbolic and mathematical
Classification :
QA9
,.
54
.
B73
2011
13. Hybrid logic and its proof-theory
Author: Brauner, Torben.
Library: Library of Farabi Campus of Tehran University (Qom)
Subject:
Classification :
QA
9
.
54
.
B7
2011
14. Hybrid logic and its proof-theory
Author: / by Torben Braeuner
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Proof theory.,Logic, Symbolic and mathematical.
Classification :
QA
,
9
.
54
,.
B736
,
2011
15. Hybrid logic and its proof-theory
Author: Brauner, Torben
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Proof theory,، Logic, Symbolic and mathematical
Classification :
QA
9
.
54
.
B73H9
16. Proof Theory of Modal Logic
Author: edited by Heinrich Wansing.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Artificial intelligence.,Logic, Symbolic and mathematical.,Logic.,Philosophy (General).
17. Proof theory and algebra in logic
Author:
Library: Central Library and Documents Center of Mazandaran University (Mazandaran)
Subject: Proof theory. ;
18. Reductive logic and proof-search : proof theory, semantics, and control
Author: Pym, David J.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P965R4
19. Reductive logic and proof-search: proof theory, semantics, and control
Author: Pym, David J.
Library: Central Library and Documentation Center (Kerman)
Subject: ، Logic, Symbolic and mathematical,، Proof theory
Classification :
QA
9
.
P87
2004
